On the categorical model of dependent types by locally cartesian closed categories:
Last revised on January 22, 2023 at 16:17:59. See the history of this page for a list of all contributions to it.